Media-Centered: Sometimes the Best Resources are People

Sometimes Updates Are Circumscription

Model-based revision of knowledge bases ex­ pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de­ scribing and reasoning about the effects of ac­ tions. This paper shows that model-based the­ ory revision is actually expressible as a form of circumscription. This shows that in cer­ tain applications, the cumbersome conceptu­ ally machinery of circumscription...

Programmers are People , Too : Applying User - Centered Design to Middleware

Promoting workplace stair climbing: sometimes, not interfering is the best

BACKGROUND Stair climbing is a vigorous activity and can lead to several health benefits. Studies seeking to increase stair climbing in various public locations have shown positive effects, while results from similar studies conducted in the workplace are inconclusive. This study examined stair climbing in the workplace, and monitored effects from a single- and a combined intervention. Interven...

Easy Problems are Sometimes Hard

We present a detailed experimental investigation of the easy-hard-easy phase transition for randomly generated instances of satisfiability problems. Problems in the hard part of the phase transition have been extensively used for benchmarking satisfiability algorithms. This study demonstrates that problem classes and regions of the phase transition previously thought to be easy can sometimes be...

Irrational Guards are Sometimes Needed

In this paper we study the art gallery problem, which is one of the fundamental problems in computational geometry. The objective is to place a minimum number of guards inside a simple polygon so that the guards together can see the whole polygon. We say that a guard at position x sees a point y if the line segment xy is contained in the polygon. Despite an extensive study of the art gallery pr...